Jean-Pierre Jouannaud And NotCalifornie
List of bibliographic references
Number of relevant bibliographic references: 22.Ident. | Authors (with country if any) | Title |
---|---|---|
003E48 | Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The computability path ordering: the end of a quest |
003E53 | Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France] | From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures |
004297 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The Computability Path Ordering: The End of a Quest |
004697 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure : A Reconstruction |
004C56 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
004C96 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France] | Building Decision Procedures in the Calculus of Inductive Constructions |
005470 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
009A51 | Adel Bouhoula ; Jean-Pierre Jouannaud ; José Meseguer | Specification and Proof in Membership Equational Logic |
00A482 | Claude Kirchner [France] ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre Jouannaud | A Methodological View of Constraint Solving |
00A586 | Claude Kirchner ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre Jouannaud | A Methodological View of Constraint Solving |
00A928 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon] | The Calculus of Algebraic Constructions |
00AA59 | Hubert Comon [France] ; Mehmet Dincbas [France] ; Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] | A Methodological View of Constraint Solving |
00B950 | Adel Bouhoula ; Jean-Pierre Jouannaud ; José Meseguer | Specification and Proof in Membership Equational Logic |
00BA10 | Adel Bouhoula ; Jean-Pierre Jouannaud | Automata-Driven Automated Induction |
00BB57 | Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon] | Abstract data type systems |
00C721 | Nachum Dershowitz [États-Unis] ; Jean-Pierre Jouannaud [France] ; Jan Willem Klop [Pays-Bas] | Problems in rewriting III |
00CC95 | Jean-Pierre Jouannaud [France] | Rewriting techniques for software engineering |
00E348 | Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Aristide Mégrelis [France] | OBJ: Programming with equalities, subsorts, overloading and parameterization |
00EC28 | Jean-Pierre Jouannaud [France] ; Miguel Munoz | Termination of a Set of Rules Modulo a Set of Equations |
00ED01 | Jean-Pierre Jouannaud [France] ; Yves Kodratoff [France] | Program Synthesis from Examples of Behavior |
00ED14 | Jean-Pierre Jouannaud | Confluent and coherent equational term rewriting systems application to proofs in abstract data types |
00ED26 | Jean-Pierre Jouannaud [France] ; Pierre Lescanne [États-Unis] | On multiset orderings |
This area was generated with Dilib version V0.6.33. |